:: Int -> Double -package:LambdaHack package:incipit-base

Convert from an Int.